Does Possible World Semantics Turn All Propositions Into Necessary Ones